@inproceedings(
FisherMFCT,author="K. Fisher and J. Mitchell",
        title="A Delegation-based Object Calculus with Subtyping",
        booktitle="Fundamentals of Computation Theory (FCT'95)",
        Publisher="Springer LNCS", year=1995, note="To appear.")